Logic level - PDFSEARCH.IO - Document Search Engine

Logic level
Results: 537

#	Item
111	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
112	INTEGRATED CIRCUITS DATA SHEET PCD8544 48 × 84 pixels matrix LCD Add to Reading List Source URL: www.myplace.nu Language: English - Date: 2014-09-07 05:03:57 Computer memory Electronic engineering Electronics Liquid crystal display Microcontroller Dynamic random-access memory Logic level Digital electronics Computer hardware Display technology
113	Proceedings of the 2011 Winter Simulation Conference S. Jain, R.R. Creasey, J. Himmelspach, K.P. White, and M. Fu, eds. SIMULATION EDUCATION – SEVEN REASONS FOR CHANGE Allen Greenwood Add to Reading List Source URL: www.flexsim.com Language: English - Date: 2013-01-30 01:00:00 Digital electronics Operations research Simulation Simulation software Logic simulation Web-based simulation Aggregate Level Simulation Protocol Modeling and simulation Electronic engineering Electronic design automation
114	SOFTWARE—PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2004; 00:1–7 Prepared using speauth.cls [Version: [removed]v2.2] JiST: An efficient approach Add to Reading List Source URL: jist.ece.cornell.edu Language: English - Date: 2013-12-04 22:11:13 Operations research Electronic engineering Electronic design automation Logic simulation Scientific modelling Reverse computation Discrete event simulation Simula Aggregate Level Simulation Protocol Simulation Computing Scientific modeling
115	Success Story Synopsys and Ricoh Ricoh Optimizes New Multi-Function Printer SoC Architecture with Synopsys Platform Architect MCO Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-12-30 08:15:46 Hardware verification languages Hillsboro Oregon Synopsys High-level synthesis SystemC System on a chip Logic synthesis Ricoh Electronic engineering Electronic design automation Electronic design
116	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2011-07-20 13:50:41 Software Applied mathematics Programming language implementation X86 Runtime verification Low-level programming language Formal verification Pin Compiler Formal methods Logic in computer science Computing
117	Engineers’ Guide to FPGA & PLD Solutions Automotive Electronics Fuels Need for High-Reliability Devices FPGAs: Good Company in Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-03 08:15:35 Electronic design automation Reconfigurable computing Field-programmable gate array Xilinx Altera Logic synthesis Application-specific integrated circuit Synopsys High-level synthesis Electronic engineering Electronics Fabless semiconductor companies
118	Synopsys FPGA and Simulink-Based Design Solutions for Automotive Synopsys Automotive Seminar – Japan May 2012 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-15 08:15:47 Electronic design Fabless semiconductor companies Integrated circuits Field-programmable gate array Logic synthesis High-level synthesis Xilinx Synopsys Integrated circuit design Electronic engineering Electronics Electronic design automation
119	Datasheet Search Site - http://www.Laogu.com Add to Reading List Source URL: www.hpinfotech.ro Language: English - Date: 2014-10-30 10:24:39 Computer memory Electronic engineering Electronics Liquid crystal display Microcontroller Dynamic random-access memory Logic level Digital electronics Computer hardware Display technology
120	Revised July[removed]DM7446A, DM7447A BCD to 7-Segment Decoders/Drivers General Description Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 16:12:23 Electronics Logic level Clamper Ripple Open collector Electromagnetism Electronic engineering Digital electronics

UPDATE